ta có \(\left(log^b_a+log^a_b+2\right)\left(log^b_a-log_{ab}^b\right).log_b^a-1=\left(log^b_a+log^a_b+2\right)\left(log^b_a.log_b^a-log_{ab}^b.log_b^a\right)-1=\left(log^b_a+log^a_b+2\right)\left(1-\frac{1}{log_b^{ba}}log_b^a\right)-1=\left(log^b_a+log^a_b+2\right)\left(1-\frac{1}{1+log^a_b}log^a_b\right)-1=\left(log^b_a+log^a_b+2\right)\frac{1}{1+log^a_b}-1=\left(log^a_b+\frac{1}{log^a_b}+2\right)\frac{1}{1+log^a_b}-1=\frac{\left(1+log^a_b\right)^2}{log^a_b}\frac{1}{1+log^a}-1=\frac{1+log^a_b}{log_b^a}-1=\frac{1}{log_b^a}\)

 ta có:

\(\left(log^b_a+\frac{1}{log^b_a}+2\right)\left(log^b_a-\frac{1}{log^{ab}_a}\right)log^a_b-1\)\(=\frac{\left(log^b_a+1\right)^2}{log^b_a}\left(log^b_a-\frac{1}{1+log^b_a}\right)log^a_b-1\)\(=\frac{\left(log^b_a+1\right)^2}{log^b_a}\left(1-\frac{log^a_b}{1+log^b_a}\right)-1\)\(==\frac{\left(log^b_a+1\right)^2}{log^b_a}\left(\frac{1}{1+log^b_a}\right)-1=\frac{1+log^b_a}{log^b_a}-1=\frac{1}{log^b_a}\)

Ta thấy rằng do a < b nên \(\log_ab>1\)

Khi đó nếu xét cùng cơ số là b thì : \(\log_a\left(\log_ab\right)>\log_b\left(\log_ab\right)>0\)

Ta cũng có \(\log_ca< 1\) do a < c, suy ra \(0>\log_c\left(\log_ca\right)>\log_b\left(\log_ca\right)\)

Từ đó suy ra :

\(\log_a\left(\log_ab\right)+\log_b\left(\log_bc\right)+\log_c\left(\log_ca\right)>\log_b\left(\log_ab.\log_bc.\log_ca\right)=0\)

Ta có: 

\(\left(b-\dfrac{1}{2}\right)^2\ge0\) <=> \(b^2-b+\dfrac{1}{4}\ge0\) <=>\(b-\dfrac{1}{4}\le b^2\)

Mà : 

a<1 => \(log_a\left(b-\dfrac{1}{4}\right)\ge log_ab^2=2log_ab\)

P=\(log_a\left(b-\dfrac{1}{4}\right)-\dfrac{1}{2}log_{\dfrac{a}{b}}b=log_a\left(b-\dfrac{1}{4}\right)-\dfrac{1}{2}.\dfrac{log_ab}{1-log_ab}\ge2log_ab-\dfrac{1}{2}.\dfrac{log_ab}{1-log_ab}\)

Đặt t=log_ab

Do b<a<1 => t=log_ab >1

Khi đó \(P\ge2t+\dfrac{t}{2t-2}=f\left(t\right)\). Khảo sát f(t) trên (1;+\(\infty\)) ta đc

P\(\ge\)f(t) \(\ge\) f\(\left(\dfrac{3}{2}\right)\) = \(\dfrac{9}{2}\)

 ta có:

\(log^{\left(2a^2\right)}_2+\left(log_2^a\right)a^{log_a^{\left(log^a_1+1\right)}}+\frac{1}{2}log^2_2a^4=log_2^2+log_2^{a^2}+log_2^a\left(log^a_2+1\right)+\frac{1}{2}log^2_2a^4\)

\(=1+2log^a_2+log^a_2\left(1+log^a_2\right)+2log^2a_2\)

\(=3log^2_2a+3log^a_2+1\)

\(A=\log_a\left(a^2\sqrt[4]{a^3\sqrt[5]{a}}\right)=\log_a\left(a^2\sqrt[4]{a^3.a^{\frac{1}{5}}}\right)=\log_a\left[a^2\left(a^{\frac{16}{5}}\right)^{\frac{1}{4}}\right]=\log_a\left(a^2.a^{\frac{4}{5}}\right)=\frac{14}{5}\)

Ta có \(\log_ab\ge\log_{a+c}\left(b+c\right)\) với \(1< a\le b\) và \(c\ge0\)

Áp dụng với b = a+1 và c = 1 ta được :

 \(\log_a\left(a+1\right)>\log_{a+1}\left(a+2\right)\)

=> Điều phải chứng minh

\(P=\frac{1}{2}log_{\frac{a}{b}}a-4log_a\left(a+\frac{b}{4}\right)=\frac{1}{2log_a\frac{a}{b}}-4log_a\left(a+\frac{b}{4}\right)=\frac{1}{2\left(1-log_ab\right)}-4log_a\left(a+\frac{b}{4}\right)\)

Ta có: \(a+\frac{b}{4}\ge2\sqrt{\frac{ab}{4}}=\sqrt{ab}\)

\(\Rightarrow log_a\left(a+\frac{b}{4}\right)\le log_a\sqrt{ab}\) (do \(0< a< 1\))

\(\Rightarrow P\ge\frac{1}{2\left(1-log_ab\right)}-4log_a\sqrt{ab}=\frac{1}{2\left(1-log_ab\right)}-2\left(1+log_ab\right)\)

Đặt \(log_ab=x\Rightarrow0< x< 1\) \(\Rightarrow P\ge\frac{1}{2\left(1-x\right)}-2\left(1+x\right)\)

Xét hàm \(f\left(x\right)=\frac{1}{2\left(1-x\right)}-2\left(1+x\right)\) với \(0< x< 1\)

\(f'\left(x\right)=\frac{1}{2\left(1-x\right)^2}-2=0\Leftrightarrow\frac{1-4\left(1-x\right)^2}{2\left(1-x\right)^2}=0\Rightarrow x=\frac{1}{2}\)

Từ BBT ta thấy \(f\left(x\right)_{min}=f\left(\frac{1}{2}\right)=-2\)

\(\Rightarrow P\ge-2\Rightarrow P_{min}=-2\) khi \(\left\{{}\begin{matrix}x=\frac{1}{2}\\a=\frac{b}{4}\end{matrix}\right.\) \(\Leftrightarrow\left\{{}\begin{matrix}log_ab=\frac{1}{2}\\a=\frac{b}{4}\end{matrix}\right.\)

\(\Leftrightarrow\left\{{}\begin{matrix}a=b^2\\a=\frac{b}{4}\end{matrix}\right.\) \(\Rightarrow\left\{{}\begin{matrix}a=\frac{1}{16}\\b=\frac{1}{4}\end{matrix}\right.\) \(\Rightarrow S=\frac{5}{16}\)

\(m=\frac{1}{3}log_a\left(ab\right)=\frac{1}{3}+\frac{1}{3}log_ab\)

\(\Rightarrow log_ab=3m-1>0\)

\(P=\left(log_ab\right)^2+\frac{16}{log_ab}=\left(3m-1\right)^2+\frac{16}{3m-1}\)

\(P=\left(3m-1\right)^2+\frac{8}{3m-1}+\frac{8}{3m-1}\ge3\sqrt[3]{\frac{64\left(3m-1\right)^2}{\left(3m-1\right)^2}}=12\)

\(P_{min}=12\) khi \(\left(3m-1\right)^3=8\Rightarrow m=1\)